Nuprl Lemma : band_ff_simp
9,38
postcript
pdf
u
:
. (
u
ff) = ff
latex
ProofTree
Definitions
t
T
Lemmas
bool
wf
,
bfalse
wf
origin